ccpred?($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_config\_ind($x$;ff;ff;${\it id}$.tt;${\it id}$,${\it num}$.ff)